formal discretization error

形式离散误差